%ifdef CONFIG
{
  "HostFeatures": ["AVX"],
  "RegData": {
    "XMM0":  ["0x3FF0000000000000", "0x4000000000000000", "0x0000000000000000", "0x0000000000000000"],
    "XMM1":  ["0x4008000000000000", "0x4010000000000000", "0x0000000000000000", "0x0000000000000000"],
    "XMM2":  ["0x3FF0000000000000", "0x4000000000000000", "0x4008000000000000", "0x4010000000000000"],
    "XMM3":  ["0x4008000000000000", "0x4010000000000000", "0x3FF0000000000000", "0x4000000000000000"]
  },
  "MemoryRegions": {
    "0x100000000": "4096"
  }
}
%endif

lea rdx, [rel .data]

vmovapd ymm2, [rdx + 32]

vcvtdq2pd xmm0, xmm2
vcvtdq2pd xmm1, [rdx + 40]

vcvtdq2pd ymm2, xmm2
vcvtdq2pd ymm3, [rdx + 40]

hlt

align 32
.data:
dq 0x4142434445464748
dq 0x5152535455565758
dq 0x4142434445464748
dq 0x5152535455565758

dq 0x0000000200000001
dq 0x0000000400000003
dq 0x0000000200000001
dq 0x0000000400000003
